81. Category theory: applications to algebra, logic and topolgoy; proceedings of the International Conference held at Gummersbach, July 6-10, 1981
پدیدآورنده : edited by K. H. Kamps, D. Pumpun, and W. Tholen
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Congresses ، Categories )Mathematics(
رده :
QA
3
.
L28
no
.
962
82. Category theory : applications to algebra, logic, and topology : proceedings of the international conference held at Gummersbach, July 6-10, 1981
پدیدآورنده : edited by K.H. Kamps, D. Pumplun, and W. Tholen
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Categories )Mathematics( - Congresses
رده :
QA
.
L28
,
no
3
.
962
83. Category theory :applications to algebra, logic, and topology: proceedings of the international conference held at Gummersbach, July 6-10, 1981
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Categories )Mathematics(
رده :
QA
3
.
L28
no
.
962
84. Category theory : applications to algebra, logic, and topology : proceedings of the international conference held at Gummersbach, July 6-10, 1981
پدیدآورنده : edited by K.H. Kamps, D. Pumplun, and W. Tholen
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Categories )Mathematics(
رده :
QA
1
.
L4
v
.
962
85. Category theory : applications to algebra, logic, and topology : proceedings of the international conference held at Gummersbach, July 6-10, 1981
پدیدآورنده : edited by K. H. Kamps, D. Pumplun, and W. Tholen
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Categories )Mathematics(
رده :
QA
3
.
L28
Vol
.
962
86. Category theory : applications to algebra, logic, and topology : proceedings of the international conference held at Gummersbach, July 6-10, 1981
پدیدآورنده : edited by K.H. Kamps, D. Pumplun, and W. Tholen
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : Congresses ، Categories )Mathematics(
رده :
QA
169
.
C35
1981
87. Category theory applied to computation and control: proceedings of the first international symposium, San Francisco, Feb.25-26, 1974
پدیدآورنده : edited by E. G. Manes
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Congresses ، Machine theory,Congresses ، Automata,Congresses ، Control theory,Congresses ، Categories )Mathematics(
رده :
QA
267
.
C35
88. Category theory applied to computation and control : proceedings of the first international symposium, San Francisco, February 25-26, 1974
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Machine theory-- Congresses,، Control theory-- Congresses,، Categories )Mathematics(-- Congresses
رده :
QA
267
.
C35
89. Category theory applied to computation and control : proceedings of the first international symposium, San Francisco, February 25-26, 1974
پدیدآورنده : edited by E. G. Manes
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : Congresses ، Machine theory,Congresses ، Control theory,Congresses ، Categories )Mathematics(
رده :
QA
267
.
C35
90. Category theory 1991 : proceedings of an International Summer Category Theory Meeting, held June 23-30, 1991
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Categories )Mathematics(--Congresses
رده :
QA
169
.
I58
1991
91. Category theory : proceedings of the International Conference held in Como, Italy, July 22-28, 1990
پدیدآورنده : A. Carboni, M. C. Pedicchio, G. Rosolini, eds
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Categories )Mathematics(
رده :
QA
3
.
L28
Vol
.
1488
92. Category theory: proceedings of the international conference held in Como, Italy, July 22-28, 1990
پدیدآورنده : A. Carboni, M.C. Pedicchio, G. Rosolini, eds
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Congresses ، Categories )Mathematics(
رده :
QA
3
.
L28
no
.
1488
93. Category theory : proceedings of the international conference held in Como, Italy, July 22-28, 1990
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Categories )Mathematics(-- Congresses
رده :
QA
3
.
L28
no
.
1488
94. Category theory. proceedings of the international conference held in Como, Italy, July 22-28, 1990,Lecture Notes in Mathematics
پدیدآورنده : A. Carboni, M.C. Pedicchio, G. Rosolini, eds
کتابخانه: Library and Documentation Center of Kurdistan University (Kurdistan)
موضوع : ، Categories )Mathematics(, Congresses
رده :
QA
3
.
C3
1991
95. Derived categories in algebraic geometry
پدیدآورنده : Yujiro Kawamata, editor.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Derived categories (Mathematics), Congresses.,Geometry, Algebraic, Congresses.,Triangulated categories, Congresses.
96. Diagrammatic morphisms and applications : AMS Special Session on Diagrammatic Morphisms in Algebra, Category Theory, and Topology, October 21-22, 2000, San Francisco State University, San Francisco, California
پدیدآورنده : David E. Radford, Fernando J. O. Souza, David N. Yetter, editors
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Morphisms )Mathematics(,Congresses ، Topology,Congresses ، Categories )Mathematics(
رده :
QA
169
.
A483
2000
97. Foundations of computation theory, Proceedings of the 1983 International FCT-Conference Borgholm, Sweden, August 21-27, 1983
پدیدآورنده : Internatinal FCT-confernce, Borgholm, Sweden, 3891
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Recursion theory-- Congresses,، Computational complexity-- Congresses,، Machine theory-- Congresses,، Categories)Mathematics(-- Congresses
رده :
QA
9
.
6
.
I57
1983
98. Foundations of software science and computation structures :
پدیدآورنده : Christel Baier, Ugo Dal Lago (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software, Congresses.,Software engineering, Congresses.,Artificial intelligence.,Computer programming-- software development.,Computer software.,Computers-- Data Processing.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Discrete mathematics.,Information technology: general issues.,Software engineering.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
751
.
F67
2018eb
99. Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznan-Kornik, Poland, September 19-23, 1977
پدیدآورنده : edited by Marek Karpinski
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : Congresses ، Recursion theory,Congresses ، Computational complexity,Congresses ، Machine theory,Congresses ، Categories )Mathematics(
رده :
QA
9
.
6
.
I57
1977
100. Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznan-Kornik, Poland, September 19-23, 1977
پدیدآورنده : edited by Marek Karpinski
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Recursion theory,Congresses ، Computational complexity,Congresses ، Machine theory,Congresses ، Categories )Mathematics(
رده :
QA
76
.
L4
v
.
56